Modeling formalisms for dynamic structure systems
نویسندگان
چکیده
منابع مشابه
Modeling Dynamic Production Systems with Network Structure
This paper deals with the problem of optimizing two-stage structure decision making units (DMUs) where the activity and the performance of two-stage DMU in one period effect on its efficiency in the next period. To evaluate such systems the effect of activities in one period on ones in the next term must be considered. To do so, we propose a dynamic DEA approach to measure the performance of su...
متن کاملmodeling dynamic production systems with network structure
this paper deals with the problem of optimizing two-stage structure decision making units (dmus) where the activity and the performance of two-stage dmu in one period effect on its efficiency in the next period. to evaluate such systems the effect of activities in one period on ones in the next term must be considered. to do so, we propose a dynamic dea approach to measure the performance of su...
متن کاملOn Formalisms for Dynamic Reconfiguration of Dependable Systems
Three formalisms of different kinds – VDM, Maude, and basic CCS – are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.
متن کاملDynamic decision modeling in medicine: a critique of existing formalisms.
Dynamic decision models are frameworks for modeling and solving decision problems that take into explicit account the effects of time. These formalisms are based on structural and semantical extensions of conventional decision models, e.g., decision trees and influence diagrams, with the mathematical definitions of finite-state semi-Markov processes. This paper identifies the common theoretical...
متن کاملFormalisms for multi-agent systems
MARK D ' I NVERNO 1 , M I CHAEL F I S HER 2 , A L E S S I O LOMUSC I O 3 , M I CHAEL LUCK 4 , MAARTEN DE R I J K E 4 , MARK RYAN 3 a n d M I CHAEL WOOLDR IDGE 5 School of Computer Science, University of Westminster, UK Department of Computing, Manchester Metropolitan University, UK School of Computer Science, University of Birmingham, UK Department of Computer Science, University of Warwick, UK...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Modeling and Computer Simulation
سال: 1997
ISSN: 1049-3301,1558-1195
DOI: 10.1145/268403.268423